semidecision

semidecision
половинчатое решение, проф. полурешение (напр., существующее для значения "истина", но не известное для значения "ложь")

English-Russian dictionary of computer science and programming. 2013.

Игры ⚽ Нужна курсовая?

Смотреть что такое "semidecision" в других словарях:

  • semidecision — noun Used attributively to describe a technique in which the necessary conditions for a state are identified and then a proof that these conditions cannot be satisfied is produced …   Wiktionary


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»